Language and Computation (LaCo) | Logic and Language (LoLa) | Logic and Computation (LoCo) | |
---|---|---|---|
2021-08-06T09:45:00+02:00 - 2021-08-06T11:15:00+02:00 09:45 - 11:15 |
From Proof Nets to Combinatorial Proofs — A new approach to Hilbert’s 24th problem Willem Heijltjes, Lutz Straßburger Advanced | ||
2021-08-06T11:30:00+02:00 - 2021-08-06T13:00:00+02:00 11:30 - 13:00 |
Theoretical and Methodological Approaches to Animal Semantics: a Super Linguistic Introduction Patrick Georg Grosz, Mélissa Berthet Introductory | ||
2021-08-06T13:00:00+02:00 - 2021-08-06T14:00:00+02:00 13:00 - 14:00 | break | ||
2021-08-06T14:00:00+02:00 - 2021-08-06T15:30:00+02:00 14:00 - 15:30 | |||
2021-08-06T16:00:00+02:00 - 2021-08-06T17:30:00+02:00 16:00 - 17:30 |
Information Theory in Linguistics: Methods and Applications Adina Williams, Ryan Cotterell, Richard Futrell Advanced | ||
2021-08-06T18:00:00+02:00 - 2021-08-06T19:00:00+02:00 18:00 - 19:00 |